17 Property-Driven Design for Robot Swarms: A Design Method Based on Prescriptive Modeling and Model Checking MANUELE BRAMBILLA, ARNE BRUTSCHY, MARCO DORIGO, and MAURO BIRATTARI, IRIDIA, Universit´e Libre de Bruxelles,

Source URL: code.ulb.ac.be

Bounded Model Checking Linear Time and Knowledge Using Decision Diagrams ? Artur M¸eski1,2 , Wojciech Penczek2,3 , and Maciej Szreter2 1 2

Source URL: csp2011.mimuw.edu.pl

Using Model Checking to Generate Test Cases for Android Applications Ana Rosario Espada María del Mar Gallardo Alberto Salmerón Pedro Merino

Source URL: www.mbt-workshop.org

Software Model Checking by Program Specialization Emanuele De Angelis1 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1

Source URL: www.sci.unich.it

Model checking agent knowledge in dynamic access control policies Masoud Koleini, Eike Ritter and Mark Ryan University of Birmingham, Birmingham, B15 2TT, UK

Source URL: www.cs.bham.ac.uk

A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems Stefan Mitsch 1

Source URL: www.cs.bham.ac.uk

• Software
• Theoretical computer science
• Systems engineering
• Unified Modeling Language
• Formal methods
• Logic in computer science
• KeY
• Hybrid system
• Formal verification
• First-order logic
• Proof theory
• Model checking

Model Checking: Back and Forth Between Hardware and Software Edmund Clarke1 , Anubhav Gupta1 , Himanshu Jain1 , and Helmut Veith2 1 2

Source URL: vstte.ethz.ch

Scalable Software Model Checking Using Design for Verification? Tevfik Bultan and Aysu Betin-Can Department of Computer Science University of California Santa Barbara, CA 93106, USA

Source URL: vstte.ethz.ch

Complexity of Model-Checking Call-by-Value Programs Takeshi Tsukada1,2 and Naoki Kobayashi3 1 2

Source URL: www-kb.is.s.u-tokyo.ac.jp

Appears in Proc. IEEE Int’l Conf. on Robotics and Automation San Francisco, CA April 22-28, 2000 Using Model Checking to Guarantee Safety in Automatically-Synthesized Real-Time Controllers David J. Musliner, Robert P.

Source URL: musliner.com